Reliable boolean operations on polyhedralsolids thanks to a 3 D re nement
نویسنده
چکیده
منابع مشابه
Anisotropic Patch-Based Adaptive Mesh Re nement for Finite-Volume Method
We propose an anisotropic, patch-based adaptive mesh re nement algorithm for the nite-volume method solving partial di erential equations on Cartesian and mapped grids. For large ow gradients, such as shock waves and ame fronts, that are aligned with one grid direction, anisotropic re nement can provide a similar reduction in error using much less grid cells compared to isotropic re nement. To ...
متن کاملCompositional Re nement for Hierarchical Hybrid Systems?
In this paper, we develop a theory of modular design and re nement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language Charon that allows modular speci cation of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports building complex agents via the operations of instantiation, hiding, and pa...
متن کاملComponents, Contracts, and Connectors for the Unified Modelling Language UML
The lack of a component concept for the UML is widely acknowledged. Contracts between components can be the starting point for introducing components and component interconnections. Contracts between service providers and service users are formulated based on abstractions of action and operation behaviour using the preand postcondition technique. A valid contract allows to establish an intercon...
متن کاملRe nement in System Speci cation : Comparing a ProcessAlgebraic and an Object - Oriented Approach
actions to nite process terms. Then SAbs and SRef are local re nement equivalent w.r.t.(ref i)i2Ag if and only if for all i 2 Ag the following holds:1. 8P 2 attribute predicates(i) : c 2 IA(P ) i d 2 IR(P ) for all d 2 ref cl(i)(c),2. 8a 2 Act : ; c j= >a i %; d j= Ref (>a) where % 2 ref ( ), d 2 ref cl(i)(c) for all i 2 Ag(a).8a 2 Act : ; c j= a i %; d j= Ref ( a) where % 2 ref...
متن کاملEnhancing Dependability via Parameterized Re nement
A probabilistic extension of the re nement calculus has been successfully applied in the design of safety-critical systems. The approach is based on a rm mathematical foundation within which the reasoning about correctness and behavior of the system under construction is carried out. The framework allows us also to obtain a quantitative assessment of the attributes of system dependability. In t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007